1. Complexity of proofs and their transformations in axiomatic theories
پدیدآورنده : Orevkov, V. P.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
O713
2. Complexity of proofs and their transformations in axiomatic theories /
پدیدآورنده : V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
O7413
1993
3. Logical and logico-mathematical calculi. 2
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
A413
no
.
121
4. Logical and logico-mathematical calculi.2
پدیدآورنده : edited by V. P. Orevkov
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
121
5. Perspectives in Analysis, Geometry, and Topology
پدیدآورنده : / Ilia Itenberg, Burglind Jeoricke, Mikael Passare, editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Topology - Congresses,Mathematical analysis - Congresses,Geometry - Congresses,توپولوژی - کنگره ها,آنالیز ریاضی - کنگره ها,هندسه - کنگره ها
رده :
QA611
.
A1
,
M37
2012
6. Perspectives in analysis, geometry, and topology
پدیدآورنده : / Ilia Itenberg, Burglind Jeoricke, Mikael Passare, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Topology, Congresses,Mathematical analysis, Congresses,Geometry, Congresses
رده :
E-BOOK
7. Perspectives in analysis, geometry, and topology
پدیدآورنده : Ilia Itenberg, Burglind Jöricke, Mikael Passare, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Geometry, Congresses,Mathematical analysis, Congresses,Topology, Congresses
رده :
QA611
.
A1
M37
2008eb
8. Problems in the constructive trend in mathematics
پدیدآورنده : edited by V. P. Orevkov and M. A. Sanin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Constructive mathematics
رده :
QA
1
.
P736
Vol
.
93
,
etc
9. Problems in the constructive trend in mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Constructive mathematics-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
93
etc
.
10. The Calculi of symbolic logic, 1
پدیدآورنده : edited by V. P. Orevkov
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
98
11. The Calculi of symbolic logic, 1
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
98
1968
